<?php

echo "Default.";

?>